The Jasper Framework: Towards a Platform Independent, Formal Treatment ofWeb Programming
نویسنده
چکیده
This paper introduces Jasper, a web programming framework which allows web applications to be developed in an essentially platform indepedent manner and which is also suited to a formal treatment. It outlines Jasper conceptually and shows how Jasper is implemented on several commonplace platforms. It also introduces the Jasper Music Store, a web application powered by Jasper and implemented on each of these platforms. And it briefly describes a formal treatment and outlines the tools and languages planned that will allow this treatment to be automated.
منابع مشابه
I 4 - D 15 a Scalable , Space - optimal Implementation ofWeb Queries
As we move towards the vision of a next generation Web, be it called Web 2.0 or Semantic Web, we observe that the number of formats used for representing data on the Web increases, so does apparently the languages we are supposed to use to access that data: XPath, XQuery, SPARQL, XSLT, Xcerpt, etc. In this deliverable we propose a formal foundation for most commonWeb formats and query languages...
متن کاملFormal Methods for Quality of Service Analysis
Component-Based Software Architecture is a promising solution for distributed computing. To develop high quality software, analysis of non-functional aspects of the software properties (also called Quality of Service or QoS) is very important. The UniFrame research project proposes a Unified Component Meta-Model Framework (UniFrame) that includes QoS contracts. A classification of QoS parameter...
متن کاملAn Approach Towards Classifying and Navigating RDF data based on Pattern Structures
With an increased interest in machine processable data, more and more data is now published in RDF (Resource Description Framework) format. This RDF data is present in independent and distributed resources which needs to be centralized, navigated and searched for domain specific applications. This paper proposes a new approach based on Formal Concept Analysis (FCA) to create a navigation space ...
متن کاملModel Driven Architecture ( MDA ) and Component - Based Software Development ( CBSD )
Two major approaches to achieve variability and extensibility in a product line are model-driven architecture (MDA, by OMG) [MDA] and component-based software engineering (CBSE). Within MDA, the re-usable skeletons of applications are referred to as Platform-Independent Models (PIMs). A PIM captures the architecture and the algorithmic issues that are independent of all platforms. It is transla...
متن کاملA Rigorous Framework for Model-Driven Development
The model-driven architecture (MDA) is an approach to model-centric software development. The concepts of models, metamodels, and model transformations are at the core of MDA. Model-driven development (MDD) distinguishes different kinds of models: the computation-independent model (CIM), the platform-independent model (PIM), and the platform-specific model (PSM). Model transformation is the pro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012